Explaining Incompatibilities in Data Dictionary Design through Abduction

نویسندگان

  • Fiora Pirri
  • Clara Pizzuti
چکیده

Logic programming with abductive reasoning is used during the realization of a data dictionary with a particular methodology. Some methodological steps are represented by means of a set of rules augmented with integrity constraints which capture the presence of incompatible concepts. Explanations for incompatibility can be inferred by exploiting abductive reasoning. To this end a new proposal for the computation of hypotheses in an abductive framework where the theory is a general logic program, is presented. It is based on a suitable manipulation of minimal three-valued models of the logic program. A method to compute three-valued minimal models of a general logic program is given.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Incompatibility in Prescriptions and How to Avoid It—With a Dictionary of Incompatibilities

way, making it a most useful and practical guide for physicians who would avoid the many pitfalls encountered in prescribing. The present volume is nearly double the size of the original volume,, is thoroughly revised and brought up to date, and is strictly in accordance with the British Pharmacopoeia of 1932 and the British Pharmaceutical Codex of 1934. The first part of the book is devoted to...

متن کامل

A Novel Face Detection Method Based on Over-complete Incoherent Dictionary Learning

In this paper, face detection problem is considered using the concepts of compressive sensing technique. This technique includes dictionary learning procedure and sparse coding method to represent the structural content of input images. In the proposed method, dictionaries are learned in such a way that the trained models have the least degree of coherence to each other. The novelty of the prop...

متن کامل

A creative abduction approach to scientific and knowledge discovery

In this paper we explore the range of applicability of abductive reasoning for knowledge discovery. In particular, we discuss a novel form of abduction, called creative abduction, where new knowledge is generated in the process of explaining observed events, and demonstrate its relevance to knowledge discovery. The main contribution of this paper is twofold: First, we show that creative abducti...

متن کامل

Religious Citations in Explaining Ethics, Medical Concepts, and Observance of the Rights of the Patients in the Medical Dictionary "Kitab al-Ma'

By studying "Kitab al-Ma'a" the enduring work by Abu Abdullah Muhammad Azdi, we find that this treatise is not just a medical encyclopedia based on medical prescriptions and the treatment of physical and mental diseases; rather, its admirable author, sometimes in the guise of a well-versed jurist, and a scholar of hadith, and a defender of the rights of the patient, created a work with  accumul...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Data Knowl. Eng.

دوره 13  شماره 

صفحات  -

تاریخ انتشار 1994